Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 93 | 93 | 156 | 84 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.68 | 0.90 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.197 | 0.174 | 0.286 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 94 | 94 | 144 | 85 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.53 | 0.90 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.099 | 0.111 | 0.322 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 140 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.170 | 4.069 | 1.519 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 93 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.140 | 4.330 | 1.045 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 93 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.143 | 5.693 | 3.250 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 93 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.151 | 5.075 | 1.645 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | A | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.069 | 0.513 | 1.407 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.052 | 1.283 | 1.530 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.024 | 0.311 | 0.745 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.068 | 3.818 | 0.876 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.082 | 0.704 | 1.452 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.056 | 5.067 | 1.415 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.025 | 0.990 | 0.603 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.073 | 7.000 | 0.866 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.076 | 0.942 | 1.974 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.056 | 1.995 | 1.719 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.025 | 0.823 | 0.680 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.074 | 3.933 | 0.970 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.068 | 0.625 | 1.520 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.048 | 0.737 | 1.899 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.023 | 0.471 | 0.711 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 68 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.145 | 1.909 | 0.819 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.067 | 7.891 | 0.922 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.076 | 0.732 | 1.453 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.258 | 5.475 | 6.048 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 127 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.278 | 5.082 | 6.467 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F | F(-2) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 93 | 93 | 116 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.129 | 0.107 | 1.588 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F | F | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 92 | 92 | 107 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.151 | 0.099 | 0.684 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 126 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.233 | 4.335 | 0.809 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.243 | 10.529 | 0.841 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.243 | 12.791 | 2.228 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.247 | 14.327 | 6.661 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.086 | 0.799 | 1.589 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F(-1) | F(-2) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 160 | 160 | 182 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.315 | 0.374 | 6.233 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F(-1) | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 281 | 281 | 241 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 0.86 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.454 | 0.378 | 7.618 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F(-1) | F(-2) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 280 | 280 | 299 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.375 | 0.349 | 1.720 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F(-1) | F | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 157 | 157 | 158 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.187 | 0.281 | 0.799 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 186 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.266 | 4.531 | 0.852 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-2) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.233 | 6.869 | 0.860 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-2) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.234 | 19.206 | 2.306 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-2) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 100 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.228 | 16.086 | 5.637 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 25 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.023 | 1.446 | 1.954 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 23 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.016 | 1.932 | 0.962 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 22 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.05 |
| time (sec) |
N/A | 0.009 | 1.496 | 0.783 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 25 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.022 | 4.016 | 1.417 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.038 | 0.956 | 2.510 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 25 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.025 | 1.489 | 1.231 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.016 | 1.110 | 1.047 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.034 | 2.203 | 1.484 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.040 | 0.576 | 3.398 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 25 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.026 | 1.501 | 1.694 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.016 | 1.113 | 1.364 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.034 | 2.788 | 1.816 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 50 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
| time (sec) |
N/A | 0.057 | 0.537 | 0.516 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 41 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
| time (sec) |
N/A | 0.034 | 1.053 | 0.154 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | A | A | F(-2) | A | A | A | B |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 18 | 18 | 18 | 15 | 0 | 14 | 15 | 14 | 14 |
| N.S. |
1 | 1.00 | 1.00 | 0.83 | 0.00 | 0.78 | 0.83 | 0.78 | 0.78 |
| time (sec) |
N/A | 0.017 | 0.006 | 0.247 | 0.000 | 3.090 | 4.973 | 0.517 | 0.332 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 47 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
| time (sec) |
N/A | 0.061 | 0.985 | 0.178 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.042 | 0.663 | 0.940 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 186 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.277 | 2.104 | 0.669 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 180 | 180 | 162 | 62 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 0.90 | 0.34 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.168 | 0.184 | 0.352 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | A | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 101 | 101 | 88 | 59 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 0.87 | 0.58 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.088 | 0.055 | 0.321 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 174 | 174 | 170 | 62 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 0.98 | 0.36 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.151 | 0.247 | 0.343 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 180 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.256 | 3.061 | 1.175 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 198 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.322 | 4.637 | 1.024 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 189 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.322 | 3.803 | 3.042 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 189 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.318 | 8.828 | 2.120 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.046 | 0.719 | 1.698 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 160 | 160 | 227 | 112 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.42 | 0.70 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.407 | 0.302 | 0.435 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 129 | 129 | 259 | 68 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 2.01 | 0.53 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.483 | 0.487 | 0.381 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 155 | 155 | 220 | 110 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.42 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.357 | 0.274 | 0.359 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | A | F(-2) | F(-2) | F | F(-1) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 125 | 125 | 186 | 113 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 1.49 | 0.90 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.217 | 0.381 | 0.398 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 216 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.283 | 4.201 | 1.533 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 231 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.338 | 5.150 | 1.195 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 187 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.312 | 4.220 | 3.317 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 191 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.316 | 9.945 | 1.596 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.065 | 0.531 | 1.675 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.046 | 1.842 | 1.539 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.024 | 1.107 | 0.859 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.068 | 9.601 | 0.918 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.086 | 0.727 | 1.546 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.055 | 1.837 | 1.582 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.026 | 1.129 | 0.559 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.075 | 7.795 | 0.888 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.076 | 0.936 | 2.030 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.050 | 2.220 | 1.775 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.028 | 1.203 | 0.698 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.074 | 4.513 | 1.006 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-2) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.069 | 0.621 | 1.622 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-1) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 27 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.048 | 1.274 | 1.980 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
| time (sec) |
N/A | 0.023 | 0.548 | 0.739 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 72 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.140 | 2.443 | 0.816 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.073 | 10.473 | 0.939 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | A | F(-1) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
| time (sec) |
N/A | 0.077 | 0.739 | 1.586 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 229 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.592 | 1.892 | 6.417 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | A | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 231 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.444 | 1.723 | 6.786 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F | F(-2) | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 129 | 129 | 124 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 0.96 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.199 | 0.132 | 1.783 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
A | A | C | F | F(-2) | F(-2) | F | F | F |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 126 | 126 | 120 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 1.00 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
| time (sec) |
N/A | 0.165 | 0.108 | 0.714 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-1) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 227 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.478 | 7.913 | 0.833 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-2) | A | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 227 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.549 | 10.475 | 0.896 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-2) | F(-2) | F(-2) | F(-2) | A |
| verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 202 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
| time (sec) |
N/A | 0.558 | 11.957 | 2.408 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |